The notion of inheritance in object-oriented programming

Subtyping and Inheritance in Object-Oriented Programming

Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages

We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the form of incrementally more restrictive constraints for derived subclasses. Our conclusion is based on the view that combinations of behavior in object-oriented languages yield subclasses that extend superclass behavior. ...

Analysis of Inheritance Anomaly in Object - Oriented Concurrent Programming

It has been pointed out that inheritance and synchronization constraints in concurrent object systems often con ict with each other, resulting in inheritance anomaly where re-de nitions of inherited methods are necessary in order to maintain the integrity of concurrent objects. The anomaly is serious, as it could nullify the bene ts of inheritance altogether. Several proposals have been made fo...

Synchronisation, Concurrent Object-Oriented Programming and the Inheritance Anomaly

There have been a number of models proposed for integrating concurrency and object oriented programming. Unfortunately, there have been few criteria proposed for evaluating them. In focusing on issues of inheritance, designers of new concurrent object-oriented programming languages appear to have forgotten the experiences learned from over two decades of concurrent programming. In this paper we...

Inheritance in Object Oriented Datalog : A Modular Logic Programming

Modularity is a special form of logic programming composition that allows incremental development and code reusability. It is natural to be considered as the formal framework to supply semantics to languages of logic programs (such as datalog) when the underlying data model is object oriented. We show here that a) for various interesting forms of inheritance, clean and natural semantics can ind...